🚂 Error Monads - abnv · Scour

Go's Error Handling: Why Explicit Beats Exceptions (According to Google)

javacodegeeks.com·1d

🛡️Error Handling

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Type-Safe Routing Without the Build Step

werkbank.dev·13h·

Discuss: Hacker News

⚙️TOML Parsers

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·16h·

Discuss: Hacker News

🔒Rust Borrowing

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

Building a Fault-Tolerant Web Data Ingestion Pipeline with Effect-TS

dev.to·1d·

Discuss: DEV

🛡️Error Handling

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

abelianization of an additive category in nLab

ncatlab.org·15h

🔗Category Theory

Use of Assertions

blog.regehr.org·17h

🔍Static Analysis

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🗂️Type Indexing

Kolmogorov Complexity

en.wikipedia.org·20h·

Discuss: Hacker News

λLambda Calculus

Don't Trip[wire] Yourself: Testing Error Recovery in Zig

mitchellh.com·1d·

Discuss: Lobsters, Hacker News

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·15h·

Discuss: Hacker News

🪢Rope Data Structures

Enhancing LLM-Based Data Annotation with Error Decomposition

arxiv.org·1d

🪜Recursive Descent

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Loading more...